1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
3. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
4. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
5. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
6. <An> introduction to Gödel's Theorems
پدیدآورنده : \ Peter Smith
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
7. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
8. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
9. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
10. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
11. Computability and logic
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
12. Computability and logic
پدیدآورنده : / George Boolos, Richard Jeffrey
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
13. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
59
,.
B66
,
2002
14. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
15. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
16. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
17. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
18. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
19. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
20. Computer-aided design and manufacturing :
پدیدآورنده : T Kohonen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS155
.
6
T564
2012
